Arusoaie, Andrei: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A generic framework for symbolic execution: A coinductive approach

Lucanu, Dorel, Rusu, Vlad, Arusoaie, Andrei

Journal:

Journal of Symbolic Computation

Year:

2016

Language:

english

File:

PDF, 1.80 MB

english, 2016

2

Language definitions as rewrite theories

Rusu, Vlad, Lucanu, Dorel, Şerbănuţă, Traian-Florin, Arusoaie, Andrei, Ştefănescu, Andrei, Roşu, Grigore

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 739 KB

english, 2016

3

Executing and verifying higher-order functional-imperative programs in Maude

Rusu, Vlad, Arusoaie, Andrei

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2017

Language:

english

File:

PDF, 673 KB

english, 2017

4

The K Primer (version 3.3)

Şerbănuţă, Traian Florin, Arusoaie, Andrei, Lazar, David, Ellison, Chucky, Lucanu, Dorel, Roşu, Grigore

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 286 KB

english, 2014

5

[IEEE 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2013.09.23-2013.09.26)] 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Engineering Hoare Logic-Based Program Verification in K Framework

Arusoaie, Andrei

Year:

2013

Language:

english

File:

PDF, 301 KB

english, 2013

6

[IEEE 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2012.09.26-2012.09.29)] 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Automating Abstract Syntax Tree Construction for Context Free Grammars

Arusoaie, Andrei, Vicol, Daniel Ionut

Year:

2012

Language:

english

File:

PDF, 346 KB

english, 2012

7

[IEEE 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010) - Timisoara (2010.09.23-2010.09.26)] 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Augmented Reality

Arusoaie, Andrei, Cristei, Alexandru Ionut, Chircu, Cristian, Livadariu, Mihai Andrei, Manea, Vlad, Iftene, Adrian

Year:

2010

Language:

english

File:

PDF, 1.09 MB

english, 2010

8

Symbolic execution based on language transformation

Arusoaie, Andrei, Lucanu, Dorel, Rusu, Vlad

Journal:

Computer Languages, Systems & Structures

Year:

2015

Language:

english

File:

PDF, 2.08 MB

english, 2015

9

[IEEE 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2017.9.21-2017.9.24)] 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code

Arusoaie, Andrei, Ciobaca, Stefan, Craciun, Vlad, Gavrilut, Dragos, Lucanu, Dorel

Year:

2017

Language:

english

File:

PDF, 117 KB

english, 2017

10

[IEEE 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara (2017.9.21-2017.9.24)] 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - A Certified Procedure for RL Verification

Arusoaie, Andrei, Nowak, David, Rusu, Vlad, Lucanu, Dorel

Year:

2017

Language:

english

File:

PDF, 231 KB

english, 2017